201. Sets, logic, and categories
پدیدآورنده : Cameron, Peter J. )Peter Jephson(
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
202. Sets, logic and categories
پدیدآورنده : Cameron, Peter Jephson, 7491-
کتابخانه: (طهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C25S4
203. Sets, logic, and categories
پدیدآورنده : Cameron, Peter Jephson
کتابخانه: (سمنان)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C3S4
204. Sets, logic, and categories
پدیدآورنده : Cameron, Peter J.)Peter Jephson(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1998
205. Special Topics in Mathematics for Computer Scientists
پدیدآورنده : \ Ernst-Erich Doberkat
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
206. <The> Arché papers on the Mathematics of Abstraction
پدیدآورنده : \ edited by Roy T. Cook.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
207. <The> Elements of Advanced Mathematics
پدیدآورنده : \ Steven G. Krantz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics,Mathematics -- Textbooks,Logic, Symbolic and mathematical -- Textbooks,ریاضیات,ریاضیات -- کتابهای درسی,منطق ریاضی -- کتابهای درسی
رده :
E-Book
,
208. The Frege reader
پدیدآورنده : Frege, Gottlob
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Logic,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,Philosophy ، Mathematics,، Philosophy
رده :
B3245
.
F22
E52
1997
209. The Frege reader
پدیدآورنده : Frege, Gottlob, 8481-5291
کتابخانه: (طهران)
موضوع : ، Logic,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,، Mathematics -- Philosophy,، Philosophy
رده :
B
3245
.
F73F7
210. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O94
2005
211. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : / edited by Stewart Shapiro
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics , Philosophy,Logic, Symbolic and mathematical , Philosophy
رده :
E-BOOK
212. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: (طهران)
موضوع : Handbooks, manuals, etc ، Mathematics -- Philosophy,Philosophy -- Handbooks, manuals, etc ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O964
213. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده :
موضوع : Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
214. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical -- Philosophy
رده :
QA
8
.
4
.
O94
2005
215. The Real Number
پدیدآورنده : / by John Stillwell
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
216. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده : edited by Johan van Benthem... ]et al.[
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
217. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
218. The anatomy of mathematics
پدیدآورنده : Kershner, Richard Brandon
موضوع : ، Logic, Symbolic and mathematical,، Mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
219. The axiomatic method; an introduction to mathematical logic
پدیدآورنده : Lightstone, A. H.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Axioms,، Mathematics-- Philosophy
رده :
QA
248
.
L53
220. The computer modelling of mathematical reasoning
پدیدآورنده : Bundy, Alan
کتابخانه: (طهران)
موضوع : Data processing ، Mathematics,، Logic, Symbolic and mathematical,، Automatic theorem proving
رده :
QA
76
.
95
.
B86